On Extending Actions

Extending Free Cyclic Actions on Spheres

Connolly and Geist have reduced the problem of determining which free cyclic actions on spheres extend to free actions of specified supergroups to a problem involving a certain transfer map. In this note we develop some algebraic tools for calculating the transfer and show that some cyclic actions do not extend to certain supergroups.

Extending OCL to include Actions

The UML’s Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The constraints which can be expressed in this language, all state requirements on the static aspects of the system. The Object Constraint Language currently lacks a way to express that events have happened or will happen, that ...

Extending immediate reinforcement learning on neural networks to multiple actions

Extending CTL with Actions and Real Time

In this paper, we present the logic ATCTL, which is intended to be used for model checking models that have been specified in a lightweight version of the Unified Modelling Language (UML). Elsewhere, we have defined a formal semantics for LUML to describe the models. This paper’s goal is to give a specification language for properties that fits LUML; LUML includes states, actions and real time....

Extending Procedural Reasoning toward Robot Actions Planning

Procedural Reasoning Systems (PRS) have inspired some works in execution control and supervision, in particular in robotics applications. However, one of the main drawback of the PRS is the lack of planning capabilities, even though some of PRS execution mechanisms and knowledge representations are related to planning. In this paper, we propose some extensions to PRS, to integrate both executio...